separable constraint

可分离限制式